Automatic Control Equipment for Tele-Cine oqerations with Punched Tape
نویسندگان
چکیده
منابع مشابه
Punched-Card to Magnetic-Tape Converter
THE principal devices for converting source data to magnetic tape recording for Univac* are the card-to-tape converter and the Unityper. * Unityper is the, logical conversation medium for input of 'otherwise untreated data. Files of punched cards, however, represent to the owner an investment of time and expense in preparing material for other treatment. The card-to-tape converter provides a me...
متن کاملAutomatic Analysis of a Safety Critical Tele Control System
We show how the Murφ model checker can be used to automatically carry out safety analysis of a quite complex hybrid system tele-controlling vehicles traffic inside a safety critical transport infrastructure such as a long bridge or a tunnel. We present the Murφ model we developed towards this end as well as the experimental results we obtained by running the Murφ verifier on our model. Our expe...
متن کاملAdaptive Control Strategy for a Bilateral Tele- Surgery System Interacting with Active Soft Tissues
In this paper, the problem of control and stabilization of a bilateral tele-surgery roboticsystem in interaction with an active soft tissue is considered. To the best of the authors’ knowledge, theprevious works did not consider a realistic model for a moving soft tissue like heart tissue in beating heartsurgery. Here, a new model is proposed to indicate significant characteristics of a moving ...
متن کاملMulti-tape automata for automatic verification
This paper discusses how finite-state automata with multiple tapes can be used to construct decision procedures for fragments of first-order theories with interpreted functions and relations, useful in the verification of programs. There is a natural correspondence between automata accepting input on n > 1 tapes and predicates over n variables, but multi-tape automata that read input asynchrono...
متن کاملThermodynamics of used punched tape: A weak and a strong equivalence principle
We study the repeated use of a monotonic recording medium—such as punched tape or photographic plate—where marks can be added at any time but never erased. (For practical purposes, also the electromagnetic “ether” falls into this class.) Our emphasis is on the case where the successive users act independently and selfishly, but not maliciously; typically, the “first user” would be a blind natur...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of the Institute of Television Engineers of Japan
سال: 1962
ISSN: 1884-9644
DOI: 10.3169/itej1954.16.665